<?php
if (!isset($_SESSION['sessionKey']) || empty($_SESSION['sessionKey'])) {
    header("Location:login.php");
} else {
    $sessionKey = $_SESSION['sessionKey'];
}
?>
